+libext+.v
//-y 

-f $PPU_ROOT/rtl/spt.lst
../top/testbench.sv
